فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024 فنڈ ریزنگ کے بارے میں
1
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

سال:
2014
زبان:
english
فائل:
PDF, 2.67 MB
4.5 / 4.0
english, 2014